Owen Lynch: The Computer Algebra System Of The Future